Ensemble dénombrable : ensemble infini équipotent à \(\Bbb N\)
(Ensemble infini, Ensembles équipotents - Equipotence, Ensemble des entiers naturels)
Définition :
Un ensemble infini \(E\) est dénombrable s'il existe une bijection de \({\Bbb N}^*\) vers \(E\) (i.e. Si les éléments de \(E\) forment une suite \(E=\{u_1,u_2,\ldots\}\))
(Suite réelle, Bijection)
Une partie d'un ensemble dénombrable est dénombrable
(Sous-ensemble - Partie d’un ensemble)